<body>
Contains classes allowing to extract a regular expression from a given LTS model. 
</body>